fun (Some x) -> ()